Weak Vopěnka's Principle does not imply Vopěnka's Principle
نویسندگان
چکیده
منابع مشابه
The near Coherence of Filters Principle Does Not Imply the Filter Dichotomy Principle
We show that there is a forcing extension in which any two ultrafilters on ω are nearly coherent and there is a non-meagre filter that is not nearly ultra. This answers Blass’ longstanding question (1989) of whether the principle of near coherence of filters is strictly weaker than the filter dichotomy
متن کاملThe Filter Dichotomy Principle Does Not Imply the Semifilter Trichotomy Principle
We answer Blass' question from 1989 of whether the inequality u < g is strictly stronger than the lter dichotomy principle [6, page 36] a rmatively. We show that there is a forcing extension in which every non-meagre lter on ω is ultra by nite-to-one and the semilter trichotomy does not hold. This trichotomy says: every semi lter is either meagre or comeagre or ultra by nite-to-one. The trichot...
متن کاملHow Much Weak Compactness Does the Weakly Compact Reflection Principle Imply?
The weakly compact reflection principle Reflwcpκq states that κ is a weakly compact cardinal and every weakly compact subset of κ has a weakly compact proper initial segment. The weakly compact reflection principle at κ implies that κ is an ω-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that κ is pω ` 1qweakly compact. Moreover, we...
متن کاملWeak admissibility does not imply admissibility for analytic semigroups
Two conjectures on admissible control operators by George Weiss are disproved in this paper. One conjecture says that an operator B defined on an infinite-dimensional Hilbert space U is an admissible control operator if for every element u ∈ U the vector Bu defines an admissible control operator. The other conjecture says that B is an admissible control operator if a certain resolvent estimate ...
متن کاملOn Weak Markov's Principle
We show that the so-called weak Markov’s principle (WMP) which states that every pseudo-positive real number is positive is underivable in T ω :=EHA+AC. Since T ω allows to formalize (at least large parts of) Bishop’s constructive mathematics this makes it unlikely that WMP can be proved within the framework of Bishop-style mathematics (which has been open for about 20 years). The underivabilit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2020
ISSN: 0001-8708
DOI: 10.1016/j.aim.2020.106986